MGI:4442331 http://identifiers.org/mgd/MGI:4442331 targeted mutation 2.1, Gustavo Leone Null/knockout Pten<G129E> Pten<tm2.1Gle>